Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·14h·
Discuss: Substack
⚙️Operating System Design
Systems Engineering for Agentic Applications
agenticapplications.substack.com·15h·
Discuss: r/programming
🩹Self-Healing Systems
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Math Moments: Blaise Pascal
kidswholovemath.substack.com·15h·
Discuss: Substack
🧮Lambda Calculus
Isolated(any)
nshipster.com·13h·
Discuss: Hacker News
🧮Lambda Calculus
Method Iteration: An LLM Prompting Technique
lesswrong.com·3d
📚Automata Learning
Lessons from building an AI data analyst
pedronasc.com·12h·
Discuss: Hacker News
🧠Automated Reasoning
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
⚙️PL Implementation
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Inferno Part 2: Let's Make a Cluster
debu.gs·19h·
Discuss: Hacker News
🏠HomeLab
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning
Breaking Verifiable Abstractions
alperenkeles.com·16h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Tripping Around REPL
vlaaad.github.io·19h·
Discuss: Hacker News
🛡️seL4
Combining struct literal syntax with read-only field access
kobzol.github.io·17h·
Discuss: Lobsters, r/rust
🐫Embedded OCaml
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·8h·
Discuss: Lobsters
🔧Unikernel Development
Liquidsoap Release 2.4.0
liquidsoap.info·9h·
Discuss: Hacker News
🐳Containerization
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai·13h·
Discuss: Hacker News
📚Automata Learning
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·5d·
Discuss: Hacker News, r/cpp
🏹Effect Systems